arm: split pending SPIs (global) out from pending PPIs and SGIs (per CPU)
authorIan Campbell <ian.campbell@citrix.com>
Tue, 3 Jul 2012 09:52:24 +0000 (10:52 +0100)
committerIan Campbell <ian.campbell@citrix.com>
Tue, 3 Jul 2012 09:52:24 +0000 (10:52 +0100)
commit11f5bc2f078f7ac0536b677f1bc3b4d17e924632
tree66fc839ef5153ac43dc3447efd50e684e4b9c1c9
parent766c36b1b0ae789854cfa9991d60d0c193a47fe7
arm: split pending SPIs (global) out from pending PPIs and SGIs (per CPU)

This tracks SPIs in struct arch_domain and PPIs+SGIs in struct arch_vcpu which
seems more logical.

Signed-off-by: Ian Campbell <ian.campbell@citrix.com>
Acked-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
Committed-by: Ian Campbell <ian.campbell@citrix.com>
xen/arch/arm/vgic.c
xen/include/asm-arm/domain.h